Multirelational representation theorems for complete idempotent left semirings
نویسندگان
چکیده
منابع مشابه
Non-termination in Idempotent Semirings
We study and compare two notions of non-termination on idempotent semirings: infinite iteration and divergence. We determine them in various models and develop conditions for their coincidence. It turns out that divergence yields a simple and natural way of modelling infinite behaviour, whereas infinite iteration shows some anomalies.
متن کاملOn idempotent matrices over semirings
Idempotent matrices play a significant role while dealing with different questions in matrix theory and its applications. It is easy to see that over a field any idempotent matrix is similar to a diagonal matrix with 0 and 1 on the main diagonal. Over a semiring the situation is quite different. For example, the matrix J of all ones is idempotent over Boolean semiring. The first characterizatio...
متن کاملCayley’s and Holland’s Theorems for Idempotent Semirings and Their Applications to Residuated Lattices
We extend Cayley’s and Holland’s representation theorems to idempotent semirings and residuated lattices, and provide both functional and relational versions. Our analysis allows for extensions of the results to situations where conditions are imposed on the order relation of the representing structures. Moreover, we give a new proof of the finite embeddability property for the variety of integ...
متن کاملIdempotent Subreducts of Semimodules over Commutative Semirings
A short proof of the characterization of idempotent subreducts of semimodules over commutative semirings is presented. It says that an idempotent algebra embeds into a semimodule over a commutative semiring, if and only if it belongs to the variety of Szendrei modes.
متن کاملCategories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings
A categorical equivalence between algebraic contexts with relational morphisms and join-semilattices with homomorphisms is presented and extended to idempotent semirings and domain semirings. These contexts are the Kripke structures for idempotent semirings and allow more efficient computations on finite models because they can be logarithmically smaller than the original semiring. Some example...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2015
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2014.08.008